Default values, criteria and constructivism

Logic Programs with Functions and Default Values

In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different semantic perspective. Our starting point comes from the use of logic programs for Knowledge Representation and Nonmonotonic Reasoning, especially under three well-known semantics for default negation: Clark’s completi...

Prioritized Default Logic with Trust Values

A drawback of traditional default logic is that there is no general mechanism for preferring one default rule over another. To remedy this problem, numerous default logics augmented with priority relations have been introduced. In this paper, we show how trust values, derived from web-based social networks, can be used to prioritize defaults. We provide a coupling between the method for computi...

Logic Programming and Nonmonotonic Reasoning: Functions and Default Values

Embracing Nativism and Constructivism

Neural constructivists have proclaimed, on the basis of arguments which it is suggested in the following are unconvincing, a view of the nervous system which has little place for innate knowledge relating to speciic domains. In this paper an alternative position is developed, which by instantiating innate knowledge in a exible manner provides a more credible alternative. It invokes dynamical sy...

Cybersemiotic Pragmaticism and Constructivism

> Context • Radical constructivism claims that we have no final truth criteria for establishing one ontology over another. This leaves us with the question of how we can come to know anything in a viable manner. According to von Glasersfeld, radical constructivism is a theory of knowledge rather than a philosophy of the world in itself because we do not have access to a human-independent world....